1. Cornerstones of undecidability /
پدیدآورنده : Grzegorz Rozenberg and Arto Salomaa
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Decidability (Mathematical logic),Unsolvability (Mathematical logic),équation diophantienne,indécidabilité,Logique,Mathematical logic,récursivité,théorie démonstration
رده :
QA9
.
63
.
R69
1994
2. L systems
پدیدآورنده : Edited by Grzegorz Rozenberg and Arto Salomaa
کتابخانه: (طهران)
موضوع : ، L systems
رده :
QH
491
.
L2